Aller au contenu

Indépendance algébrique

Un article de Wikipédia, l'encyclopédie libre.

En algèbre, l'indépendance algébrique d'un ensemble de nombres, sur un corps commutatif, décrit le fait que ses éléments ne sont pas racines d'un polynôme en plusieurs indéterminées à coefficients dans ce corps.

Définition

[modifier | modifier le code]

Soient L un corps commutatif, S un sous-ensemble de L et K un sous-corps de L. On dit que S est algébriquement libre sur K, ou que ses éléments sont algébriquement indépendants sur K si, pour tout suite finie (s1, … , sn) d'éléments distincts de S et tout polynôme non nul P(X1, … , Xn) à coefficients dans K on a P(s1, … , sn) ≠ 0.

Cas particulier

[modifier | modifier le code]
  • Cas particulier K = et L =

Définition :

est le plus petit corps de contenant et u,v .

Soit on dit que est algébrique sur s' il existe un polynome non-nul tel que

En particulier  :


Définition degré de transcendant (sur Q) :

= Le cardinal d'une plus grande famille algébriquement libre

Théorème :

algébriquement indépendants

Propriété :

{} algébriquement indépendants et

alors

{} algébriquement indépendants.


En effet {} algébriquement indépendants

{} algébriques sur

{u,v} algébriquement indépendants.

ex:

1) à partir du théorème de Chudnovsky on montre que

{} algébriquement indépendants.

comme

on en déduit que

{} algébriquement indépendants.


2) On montre que

{} algébriquement indépendants.

comme

on en déduit que

{} algébriquement indépendants.


3) à partir du théorème Nesterenko on montre que

{} algébriquement indépendants.

comme

on en déduit que

{} algébriquement indépendants.


4) à partir du théorème Nesterenko on montre que

{} algébriquement indépendants.

comme

on en déduit que

{} algébriquement indépendants.

d'où

{} algébriquement indépendants.

Un singleton {s} est algébriquement libre sur K si et seulement si son élément s est transcendant sur K.

Si S est algébriquement libre sur K alors il l'est sur tout sous-corps de K.

Si S est algébriquement libre sur K alors toute partie de S l'est aussi. Plus précisément, si V et W sont deux parties de L disjointes, alors leur réunion V⋃W est algébriquement libre sur K si et seulement si V est algébriquement libre sur K et W est algébriquement libre sur le sous-corps K(V) de L.

En particulier, si S est algébriquement libre sur K alors tous ses éléments sont transcendants sur K, mais la réciproque est clairement fausse : par exemple le sous-ensemble {π, 1/π} du corps ℝ des nombres réels n'est pas algébriquement libre sur le corps ℚ des nombres rationnels, puisque le polynôme non nul à coefficients rationnels P(X, Y) = XY – 1 vérifie P(π, 1/π) = 0.

Dans le corps de fractions rationnelles K(X1, … , Xn), les indéterminées X1, … , Xn sont algébriquement indépendantes sur K ; les polynômes symétriques élémentaires le sont aussi.

Une partie K-algébriquement libre maximale de L s'appelle une base de transcendance de L sur K, et le cardinal d'une telle base est appelé le degré de transcendance de l'extension.

Le théorème de Lindemann-Weierstrass peut souvent être utilisé pour prouver que certains ensembles sont algébriquement libres sur ℚ.

On ne sait pas si l'ensemble {π, e} est algébriquement libre sur ℚ (on ne sait même pas si π + e est irrationnel).

Nesterenko a prouvé en 1996 un théorème[1] dont il résulte par exemple que {π, eπ, Γ(1/4)}, {π, eπ3, Γ(1/3)} et {π, eπd} pour tout entier d > 0, sont algébriquement libres sur ℚ[2],[3] (on savait déjà que {π, Γ(1/4)} et {π, Γ(1/3)} sont algébriquement libres[4],[5], et donc aussi {π, Γ(1/6)}, puisqu'on déduit des relations fonctionnelles sur la fonction Gamma que Γ(1/6) = Γ(1/3)2 2–1/3 (3/π)1/2).

On sait peu de choses sur les valeurs aux entiers impairs de la fonction zêta de Riemann, mais il est conjecturé[3],[6],[7] que les nombres π, ζ(3), ζ(5), ζ(7), … sont algébriquement indépendants sur ℚ.

Notes et références

[modifier | modifier le code]
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Algebraic independence » (voir la liste des auteurs).
  1. Yuri Valentinovich Nesterenko, « Modular Functions and Transcendence Problems », Comptes Rendus de l'Académie des Sciences. Série I. Mathématique, vol. 322, no 10,‎ , p. 909–914
  2. (en) Yuri V. Nesterenko et Patrice Philippon, Introduction to Algebraic Independence Theory, Springer, , 256 p. (ISBN 978-3-540-41496-4, lire en ligne), p. 27-29
  3. a et b (en) M. Waldschmidt, « Transcendence of Periods: The State of the Art », Pure and Applied Mathematics Quarterly, vol. 2, no 2,‎ , p. 435-463 (lire en ligne)
  4. (en) G. V. Chudnovsky, « Algebraic independence of constants connected with the exponential and the elliptic functions », Dokl. Akad. Nauk Ukrain. SSR Ser. A, vol. 8,‎ , p. 698-701, 767.
  5. (en) G. Chudnovsky, « Algebraic independence of the values of elliptic function at algebraic points », Invent. Math., vol. 61, no 3,‎ , p. 267-290 (lire en ligne).
  6. Pierre Cartier, « Fonctions polylogarithmes, nombres polyzêtas et groupes pro-unipotents », Séminaire Bourbaki, vol. 43, no 885,‎ 2000-2001, p. 137-173 (lire en ligne), cf. Conclusion
  7. Stéphane Fischler, « Irrationalité de valeurs de zêta », Séminaire Bourbaki, vol. 44, no 910,‎ (lire en ligne)

Bibliographie

[modifier | modifier le code]

(en) Michel Waldschmidt, « Elliptic Functions and Transcendence », dans Krishnaswami Alladi, Surveys in Number Theory, Springer, coll. « Dev. Math. » (no 17), (lire en ligne), p. 143-188